Введение в линейную алгебру: определение векторных пространств и подпространств

Векторное пространство — это строгое математическое «поля для игр», определяемое не природой его объектов, а тем, как эти объекты ведут себя. Независимо от того, имеете ли вы дело со стрелками в $\mathbf{R}^n$, матрицами в $\mathbf{M}$ или непрерывными функциями, к ним применяются одни и те же правила.

Восемь аксиом пространства

Любое множество объектов является векторным пространством, если оно подчиняется этим фундаментальным правилам:

1. Коммутативность: $x + y = y + x$
2. Ассоциативность: $x + (y + z) = (x + y) + z$
3. Нулевой вектор: Существует единственный $0$, такой что $x + 0 = x$
4. Обратные элементы: Для каждого $x$ существует уникальный $-x$, такой что $x + (-x) = 0$
5. Единичный элемент: $1x = x$
6. Ассоциативность скалярного умножения: $(c_1c_2)x = c_1(c_2x)$
7. Дистрибутивность (I): $c(x + y) = cx + cy$
8. Дистрибутивность (II): $(c_1 + c_2)x = c_1x + c_2x$

Определение подпространств

Подпространство $S$ пространства $V$ — это подмножество, которое «замкнуто» относительно операций большего пространства. Вы никогда не сможете выйти за пределы этого подмножества, складывая его элементы или умножая их на скаляры.

Теорема замкнутости

Множество $S$ является подпространством тогда и только тогда, когда для любых $v, w \in S$ и любого скаляра $c, d$:

$$cv + dw \in S$$

Это означает, что $S$ должно содержать нулевой вектор ($0 \in S$), поскольку $0v = 0$.

Оболочка и сумма

Оболочка оболочка множества $S$ — это наименьшее подпространство, содержащее все векторы из $S$:

$$SS = \text{все } c_1v_1 + \dots + c_nv_n$$

Более того, для двух подпространств $S$ и $T$ их сумма $S + T$ (содержащая все векторы $s+t$) образует новое подпространство. Обратите внимание, что объединение $S \cup T$ почти никогда не является подпространством!

🎯 Тест на наличие нулевого вектора

Самый быстрый способ исключить подмножество из числа подпространств — проверить наличие нулевого вектора. Если $x=0$ отсутствует, то это подмножество не может быть подпространством. Распространённые ошибки — плоскости, смещённые относительно начала координат, или четверти, исключающие отрицательные значения.

ВОПРОС 1

Какие правила нарушаются, если мы сохраним только положительные числа $x > 0$ в $\mathbf{R}^1$?

Правила 1 и 2 (свойства сложения)

Правила 3 и 4 (нулевой вектор и обратные элементы)

Правила 5 и 6 (скалярная единица)

Ни одно правило не нарушено

ВОПРОС 2

В пространстве $M$ всех матриц размером 2×2 пусть $A = [[2, -2], [2, -2]]$. Каков вектор $-A$?

[[-2, 2], [-2, 2]]

[[0, 0], [0, 0]]

[[1, -1], [1, -1]]

[[-2, -2], [-2, -2]]

ВОПРОС 3

Какие из следующих подмножеств $\mathbf{R}^3$ являются подпространствами?

Плоскость векторов, где $b_1 = 1$

Векторы, удовлетворяющие $b_1b_2b_3 = 0$

Плоскость векторов, где $b_1 = b_2$, и линейные комбинации $(1,4,0)$ и $(2,2,2)$

Все векторы, где $b_1 \le b_2 \le b_3$

ВОПРОС 4

Если сложение переопределить как $(x_1, x_2) + (y_1, y_2) = (x_1 + y_2, x_2 + y_1)$, какой аксиома сразу нарушается?

Правило 1: Коммутативность

Правило 3: Существование нулевого элемента

Правило 5: Мультипликативная единица

Ни одного, сложение всегда коммутативно

ВОПРОС 5

Предположим, что скалярное умножение определено как $c(x_1, x_2) = (cx_1, 0)$. Выполняются ли аксиомы векторного пространства?

Да, это корректное определение

Нет, нарушается правило 5 (1x = x)

Нет, нарушается правило 1 (коммутативность)

Нет, нарушается правило 3 (нулевой вектор)

Вызов: Исследование структуры

Примените свои знания о приведённой ступенчатой форме, разрешимости и объединениях подпространств, чтобы решить следующие концептуальные задачи.

Вопрос 1

Приведённая форма $R$ матрицы 3×3 с произвольными элементами почти наверняка будет ___. Какова форма $R$, если случайная матрица $A$ имеет размер 4×3?

Ответ инструктора: Для случайной матрицы 3×3 $R$ почти наверняка будет 3×3 единичной матрицей $I$. Для случайной матрицы 4×3 $R$ практически наверняка будет 3×3 единичной матрицей с дополнительной строкой нулей внизу.

Вопрос 2

Для каких правых частей $(b_1, b_2, b_3)$ система разрешима, если строки матрицы $A$ зависимы, причём $R_2 = 2R_1$ и $R_3 = -R_1$?

Ответ инструктора: Чтобы система была разрешима, правая часть $b$ должна удовлетворять тем же зависимостям, что и строки. Следовательно, условия: $b_2 = 2b_1$ и $b_3 = -b_1$.

Вопрос 3

Верно или неверно: объединение двух подпространств всегда является подпространством. Приведите обоснование.

Ответ инструктора: Неверно. Пример: в $\mathbf{R}^2$ ось $x$ и ось $y$ — подпространства, но их объединение (крест) не является, поскольку $[1,0] + [0,1] = [1,1]$, который не лежит ни на одной из осей. Сумма сумма $S+T$ — подпространство, но объединение не является.